面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

Study of highly perturbed spacecraft formation dynamics via approximation

This paper explores methods for approximating and analyzing the dynamics of highly perturbed spacecraft formations with an emphasis on computationally efficient approaches. This facilitates on-board computation or rapid preliminary mission design analysis. Perturbed formation dynamics are often approximated as linear time-varying (LTV) systems, for which Floquet theory can be used to analyze the degree of system instability. Furthermore, the angular momentum of the relative orbital state can be computed with the approximate dynamics to provide additional insight. A general methodology is developed first and then applied to the problem of unstable formation dynamics in asteroid orbits. Here the dominant perturbative effects due to low-order gravitational harmonics and solar radiation pressure are modeled. Numerical simulations validate the approach and illustrate the approximation accuracy achieved.     

Fully distributed time-varying formation tracking control for multiple quadrotor vehicles via finite-time convergent extended state observer

This paper investigates a time-varying anti-disturbance formation problem for a group of quadrotor aircrafts with time-varying uncertainties and a directed interaction topology. A novel Finite-Time Convergent Extended State Observer (FTCESO) based fully-distributed formation control scheme is proposed to enhance the disturbance rejection and the formation tracking performances for networked quadrotors. By adopting the hierarchical control strategy, the multi-quadrotor system is separated into two subsystems: the outer-loop cooperative subsystem and the inner-loop attitude subsystem. In the outer-loop subsystem, with the estimation of disturbing forces and uncertain dynamics from FTCESOs, an adaptive consensus theory based cooperative controller is exploited to ensure the multiple quadrotors form and maintain a time-varying pattern relying only on the positions of the neighboring aircrafts. In the inner-loop subsystem, the desired attitude generated by the cooperative control law is stably tracked under a FTCESO-based attitude controller in a finite time. Based on a detailed algorithm to specify the cooperative control protocol, the feasibility condition to achieve the time-varying anti-disturbance formation tracking is derived and the rigorous analysis of the whole closed-loop multi-quadrotor system is given. Some numerical examples are conducted to intuitively demonstrate the effectiveness and the improvements of the proposed control framework.     

高速加工的发展及其关键技术

介绍了高速加工技术的特点及发展，并重点介绍了高速主轴单元、高速加工进给系统、高速切削刀具材料等关键技术。     

用亚稳态正电子素研究络合的瞬态反应（Ⅲ）

本文用自制的装有 BaF_2探头的高探测效率的正电子湮没寿命谱仪测量了在室温下正电子素 o-Ps 与 p-RPhG 及 m-RPhG(R=NO_2,Cl,H,CH_3,cH_3O)在20%(V/V)二氧六环水溶液中的络合形成速度常数。实验结果表明,这些o-Ps-M 络合形成速度常数 K 值均与作为配位体的 p-RPhG、m-RPhG 的碱性解离常数 K 的负对数 pK_2 呈线性函数。这表明上述瞬态络合反应满足线性自由能关系,由此可推断出上述络合反应的一些重要性质。     

求解含多个右端向量非对称线性方程组的自适应块拟最小残量IOM(q)算法

许多实际应用问题需要求解含多个右端向量的大型非对称线性方程组 ,通常是把原来方程组分成单独几个含一个右端向量的方程组 ,再用某种迭代法分别单个求解 ,而更加经济有效的方法是应用能同时产生几个迭代向量的块迭代法来直接求解。本文在 IOM(q)算法的基础上 ,提出一种求解此类方程组的块拟最小残量 IOM(q)算法 ,讨论了如何收缩掉已收敛的部分方程组以及如何从产生的块 Krylov序列中删除线性相关或几乎线性相关向量的自适应技术。数值试验表明 ,此新的自适应块算法比块 GMRES算法及其他相关算法具有更好的收敛行为、更少的计算量和 CPU计算时间 ,是求解此类方程组的一种更加经济有效的算法。     

满足约束的Gn连续过渡曲面的构造

在Erich Hartmann提出的由两基曲面线性组合构造G^n连续过渡曲面方法的基础上，针对该方法存在很难找到合适的参数变换的问题，提出了一种基于基曲面局部区域重新参数化构造G^n连续过渡曲面的方法。通过对基曲面上切触线附近区域部分曲面重新参数化，再由重新参数化局部基曲面线性组合构造G^n连续过渡曲面。这样将两基曲面间构造过渡曲面的问题转化为在重新参数化局部基曲面间构造过渡曲面。以构造G^1连续的翼身融合面为例，讨论了满足约束要求条件时G^2连续过渡面的构造方法。即先对基曲面上过渡切触线附近的局部区域进行重新参数化，后通过优化求解来确定比例因子和偏移量、平衡因子和调配因子，使过渡曲面满足前后边条线约束，最后利用线性组合来构造G^2连续的过渡面。约束过渡曲面的形状可通过改变重新参数化基曲面的大小来调整．     

区域极点及方差约束下的航天器拦截控制：静态输出反馈情形

本文提出并讨论了具有选通窗约束的航天器拦截控制问题，指出航天器拦截控制的稳暂态性能指标可表现为系统稳态状态方差及闭环区域极点的形式。然后，基于配置控制的思想，本文完整地给出了期望静态反馈控制器的存在条件及其解析表达式，并举例说明所提设计方法的直接性与有效性     

多重直扩信号的快速捕获

多重直扩信号的快速捕获得卫星定位及通信系统研制过程中遇到的一个主要课题，它的实现，不仅可以提高系统的多址能力，而且也是系统实现的必备条件，本文阐明了多重直扩信号的来源以及可被分离的理论依据，给出了多重直扩信号快速捕获的硬件实现方案及部分实验结果，得出了一些重要结论。     

求解大型非对称线性方程组的拟最小残量IOM（q）算法

不完全正交化算法（IOM（q））由于存储量和计算量小，常用来求解大非对称线性方程组。而此方法收敛过程常出现不规划振荡现象，从而影响了收敛速度。本文将拟残量最小的化性质加到IMO（q）算法中，提出拟最小残量不完全正交化算法（QMRIOM（q），这样收敛曲线光滑无振荡，从而大大加快其收敛速度，而且保留其存储量和计算量小的性质。